law of excluded middle
英 [lɔː ɒv ɪkˈskluːdɪd ˈmɪdl]
美 [lɔː əv ɪkˈskluːdɪd ˈmɪdl]
网络 排中律; 排中律; 中性排除律
双语例句
- For instance, when NaN is in play, the law of the excluded middle no longer holds.
例如，当使用NaN时，排中律就不成立了。 - The paper analyzes the contents of exclusive logical thinking, its manifestation in economic activities, and its relationship with the law of excluded middle and disjunctive inference.
本文分析了排他性逻辑思维的内容，在经济活动中的表现及与排中律、选言推理的关系。 - Other examples are the law of the excluded middle in logic and the axiom of choice in set theory.
其他的例子包括逻辑的排中律，或是集合论的选择公设。 - My Ideas about Field limitation of the Law of Non-contradiction and the Law of Excluded Middle and Its Expression of Basic Contents
关于不矛盾律和排中律适用范围界定及基本内容表述之我见 - At present textbooks of logic in different editions all give indistinct field limitation for the law of non-contradiction and the law of excluded middle and meanwhile expression of basic contents of the two laws is not clear and simple.
目前，多种版本的逻辑学教材，均对不矛盾律和排中律适用范围的界定模糊不清，对这两条基本规律基本内容的表述，也不明确、不全面。 - In classical two-valued logic, there are only two states, namely "true" and "false", any proposition must be either true or false, i.e., the law of the excluded middle is tenable.
经典的二值逻辑只有两个状态，即真和假，任何命题非真即假，二者必居其一，即排中律成立。 - This thesis briefly reviews the changes of the ideas about the Law of Excluded Middle and the Law of Contradiction in various historical periods.
矛盾律和排中律在不同时期的不同逻辑学家的心目中的地位和作用是不同的。 - It is able to change the law of excluded middle into all kinds of tautology through applications of the rule of equivalent replacement, and to prove all the inner theorems of propositional logic.
在此基础上给出一机器能行算法，把排中律等值置换成任一重言式，证明任一命题逻辑内定理。 - Evolution of the Ideas about the Law of Excluded Middle and the Law of Contradiction
不同历史时期人们对矛盾律和排中律的理解 - The law of excluded middle is one of the basic laws of thought, which underlies all demonstrations in the classical logic.
排中律是思维的基本规律之一，它构成古典逻辑中所有证明的基础。 - Logic rules are made up of the law of Identity, non-contradiction, excluded middle add sufficient evidence.
逻辑规律是关于思维的逻辑形式的规律，它由同一律、不矛盾律、排中律和充足理由律组成。 - He also elaborated the concepts of necessity 、 inference 、 three principles of thought of Law of identity 、 Law of excluded middle 、 Law of contradiction from the essential and instrument of logic deeply.
金岳霖还从逻辑的实质和工具两方面对必然、推论、同一、排中、矛盾思维三原则等基本概念作了深入的阐述。